switch: add a style property for the switch height
authorCosimo Cecchi <cosimoc@gnome.org>
Mon, 29 Jun 2015 22:25:44 +0000 (15:25 -0700)
committerCosimo Cecchi <cosimoc@gnome.org>
Tue, 30 Jun 2015 20:28:26 +0000 (13:28 -0700)
commit9913b02e3bf81fe620a750c15fbcd2f154e53e4d
tree3c182746713e1981180cb4faf0f298f908c7d331
parent6251b7bdb2e3eabf7c605fbfa451b28a24092dfc
switch: add a style property for the switch height

Instead of hardcoding an aspect ratio.
This will be replaced by min-height/max-height when we have them.

https://bugzilla.gnome.org/show_bug.cgi?id=751689
gtk/gtkswitch.c
gtk/theme/Adwaita/_common.scss
gtk/theme/Adwaita/gtk-contained-dark.css
gtk/theme/Adwaita/gtk-contained.css
gtk/theme/HighContrast/_common.scss
gtk/theme/HighContrast/gtk.css